1.1.1.9. core.uninitialized.Assign (C)
Check for assigning uninitialized values.

Examples:

void test() {
  int x;
  x |= 1; // warn: left expression is uninitialized
}